Beliefs:
  a(1).
	a(X) :-.  
